Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science / Programming and Software Engineering)
by
ISBN 13: 9783540262787
Format: Paperback (667 pages) Publisher: Springer Published: 27 Jun 2005
Save for later
Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings: 1135 (Lecture Notes in Computer Science)
by Bengt Jonsson,Joachim Parrow
ISBN 13: 9783540616481
Format: Paperback (500 pages) Publisher: Springer Published: 13 Jun 2008
CONCUR '94: Concurrency Theory: 5th International Conference, Uppsala, Sweden, August 22 - 25, 1994. Proceedings: 836 (Lecture Notes in Computer Science)
ISBN 13: 9783540583295
Format: Illustrated (548 pages) Publisher: Springer Published: 27 Jul 1994